1. Cut elimination in categories /
پدیدآورنده : Kosta Došen
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categories (Mathematics),Elimination,Proof theory
2. Substructural logics
پدیدآورنده : edited by Peter Schroeder-Heister and Kosta Dosen
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Computer science,، Logic, Symbolic and mathematical
رده :
QA
76
.
S85
1993
